大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing 的图书(共6748本)

Computer Information Systems and Industrial Management [electronic resource] : 11th IFIP TC 8 International Conference, CISIM 2012, Venice, Italy, September 26-28, 2012. Proceedings

0
索取号：
作者：Cortesi、 Agostino.、Chaki、 Nabendu.、Saeed、 Khalid.、Wierzcho艅、 S艂awomir.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Advances in Visual Computing [electronic resource] : 8th International Symposium, ISVC 2012, Rethymnon, Crete, Greece, July 16-18, 2012, Revised Selected Papers, Part II

0
索取号：
作者：Bebis、 George.、Boyle、 Richard.、Parvin、 Bahram.、Koracin、 Darko.、Fowlkes、 Charless.、Wang、 Sen.、Choi、 Min-Hyung.、Mantler、 Stephan.、Schulze、 J眉rgen.、Acevedo、 Daniel.、Mueller、 Klaus.、Papka、 Michael.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Advances in Visual Computing [electronic resource] : 8th International Symposium, ISVC 2012, Rethymnon, Crete, Greece, July 16-18, 2012, Revised Selected Papers, Part I

0
索取号：
作者：Bebis、 George.、Boyle、 Richard.、Parvin、 Bahram.、Koracin、 Darko.、Fowlkes、 Charless.、Wang、 Sen.、Choi、 Min-Hyung.、Mantler、 Stephan.、Schulze、 J眉rgen.、Acevedo、 Daniel.、Mueller、 Klaus.、Papka、 Michael.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Computer Security-ESORICS 2012 [electronic resource] : 17th European Symposium on Research in Computer Security, Pisa, Italy, September 10-12, 2012. Proceedings

0
索取号：
作者：Foresti、 Sara.、Yung、 Moti.、Martinelli、 Fabio.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Cruise Tourism and Society [electronic resource] : A Socio-economic Perspective

0
索取号：
作者：Papathanassis、 Alexis.、Lukovic、 Tihomir.、Vogel、 Michael.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Computer Algebra in Scientific Computing [electronic resource] : 14th International Workshop, CASC 2012, Maribor, Slovenia, September 3-6, 2012. Proceedings

0
索取号：
作者：Gerdt、 Vladimir P.、Koepf、 Wolfram.、Mayr、 Ernst W.、Vorozhtsov、 Evgenii V.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Theoretical Aspects of Computing-ICTAC 2012 [electronic resource] : 9th International Colloquium, Bangalore, India, September 24-27, 2012. Proceedings

0
索取号：
作者：Roychoudhury、 Abhik.、D鈥橲ouza、 Meenakshi.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Challenge Social Innovation [electronic resource] : Potentials for Business, Social Entrepreneurship, Welfare and Civil Society

0
索取号：
作者：Franz、 Hans-Werner.、Hochgerner、 Josef.、Howaldt、 J眉rgen.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Exploring the Abyss of Inequalities [electronic resource] : 4th International Conference on Well-Being in the Information Society, WIS 2012, Turku, Finland, August 22-24, 2012. Proceedings

0
索取号：
作者：Eriksson-Backa、 Kristina.、Luoma、 Annika.、Krook、 Erica.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Coalgebraic Methods in Computer Science [electronic resource] : 11th International Workshop, CMCS 2012, Colocated with ETAPS 2012, Tallinn, Estonia, March 31 鈥pril 1, 2012, Revised Selected Papers

0
索取号：
作者：Pattinson、 Dirk.、Schr枚der、 Lutz.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

VLSI-SoC: Advanced Research for Systems on Chip [electronic resource] : 19th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2011, Hong Kong, China, October 3-5, 2011, Revised Selected Papers

0
索取号：
作者：Mir、 Salvador.、Tsui、 Chi-Ying.、Reis、 Ricardo.、Choy、 Oliver C. S.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Bio-Inspired Models of Networks, Information, and Computing Systems [electronic resource] : 6th International ICST Conference, BIONETICS 2011, York, UK, December 5-6, 2011, Revised Selected Papers

0
索取号：
作者：Hart、 Emma.、Timmis、 Jon.、Mitchell、 Paul.、Nakamo、 Takadash.、Dabiri、 Foad.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Uncertainty Quantification in Scientific Computing [electronic resource] : 10th IFIP WG 2.5 Working Conference, WoCoUQ 2011, Boulder, CO, USA, August 1-4, 2011, Revised Selected Papers

0
索取号：
作者：Dienstfrey、 Andrew M.、Boisvert、 Ronald F.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Augmented Environments for Computer-Assisted Interventions [electronic resource] : 6th International Workshop, AE-CAI 2011, Held in Conjunction with MICCAI 2011, Toronto, ON, Canada, September 22, 2011, Revised Selected Papers

0
索取号：
作者：Linte、 Cristian A.、Moore、 John T.、Chen、 Elvis C. S.、Holmes、 David R.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Bio-Inspired Models of Network, Information, and Computing Systems [electronic resource] : 5th International ICST Conference, BIONETICS 2010, Boston, USA, December 1-3, 2010, Revised Selected Papers

0
索取号：
作者：Suzuki、 Junichi.、Nakano、 Tadashi.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Mathematical Foundations of Computer Science 2012 [electronic resource] : 37th International Symposium, MFCS 2012, Bratislava, Slovakia, August 27-31, 2012. Proceedings

0
索取号：
作者：Rovan、 Branislav.、Sassone、 Vladimiro.、Widmayer、 Peter.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.